package sketchguided.jdtcore;



import java.io.IOException;
import java.io.PrintWriter;

import org.eclipse.jdt.core.compiler.batch.BatchCompiler;
import org.eclipse.jdt.internal.compiler.CompilationResult;
import org.eclipse.jdt.internal.compiler.batch.Main;
import org.eclipse.jdt.internal.compiler.impl.CompilerStats;
import org.eclipse.jdt.internal.compiler.problem.DefaultProblem;

import sketch.ounit.Values;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class JDTCoreConstrainsTest extends TestCase {
	
//	public static Test suite() {
//		return new TestSuite(JDTCoreConstrainsTest.class);
//	}
//	
//	public void testJDTCore() {
//		BatchCompiler.compile("./subjects/sketchguided/jdtcore/SampleInput.java",
//				new PrintWriter(System.out), new PrintWriter(System.err), null);
//	}
//	
//	public void testMain() {
//		Main.tokenize("./subjects/sketchguided/jdtcore/SampleInput.java");
//	}
	
	public void testNewMain() {
		Main main = new Main(new PrintWriter(System.out), new PrintWriter(System.err), false /* systemExit */, null /* options */, null);
		Values.random(main, Main.class, CompilationResult.class, DefaultProblem.class, CompilerStats.class, IOException.class);
	}
}